#include "junix.h"

//零函数
uint64_t zero(uint64_t x) { return 0; }

//后继函数
uint64_t successor(uint64_t x) { return ++x; }

//投影函数
uint64_t project(uint64_t index, uint64_t a, ...) {
	return 0;
}


int main(int argc, char **argv)
{
}
